A new family of ideals with the doubly exponential ideal membership property
نویسنده
چکیده
Mayr and Meyer [MM] found ideals with the doubly exponential ideal membership property. Further investigations of the doubly exponential properties of these ideals can be found in Bayer and Stillman [BS], Demazure [D], and Koh [K]. Following a question of Bayer, Huneke and Stillman, the author has investigated in [S1, S2, S3] the properties of the primary decompositions and the associated primes of these Mayr-Meyer ideals. In that investigation a new family of ideals arose. This new family K(n, d) is presented and analyzed in this paper. It is proved in this paper that this new family also satisfies the doubly exponential ideal membership property. Thus the question of Bayer, Huneke and Stillman also pertains to this family. The main part of the paper is finding the associated primes of this family.
منابع مشابه
The First Mayr - Meyer
This paper gives a complete primary decomposition of the rst, that is, the smallest, Mayr-Meyer ideal, its radical, and the intersection of its minimal components. The particular membership problem which makes the Mayr-Meyer ideals' complexity doubly exponential in the number of variables is here examined also for the radical and the intersection of the minimal components. It is proved that for...
متن کاملThe minimal components of the Mayr-Meyer ideals
rifi such that each ri has degree at most deg f+(kd) n). Mayr and Meyer in [MM] found (generators) of a family of ideals for which a doubly exponential bound in n is indeed achieved. Bayer and Stillman [BS] showed that for these Mayr-Meyer ideals any minimal generating set of syzygies has elements of doubly exponential degree in n. Koh [K] modified the original ideals to obtain homogeneous quad...
متن کاملA NEW PROOF OF THE PERSISTENCE PROPERTY FOR IDEALS IN DEDEKIND RINGS AND PR¨UFER DOMAINS
In this paper, by using elementary tools of commutative algebra,we prove the persistence property for two especial classes of rings. In fact, thispaper has two main sections. In the first main section, we let R be a Dedekindring and I be a proper ideal of R. We prove that if I1, . . . , In are non-zeroproper ideals of R, then Ass1(Ik11 . . . Iknn ) = Ass1(Ik11 ) [ · · · [ Ass1(Iknn )for all k1,...
متن کاملThe First Mayr-meyer Ideal
This paper gives a complete primary decomposition of the first, that is, the smallest, Mayr-Meyer ideal, its radical, and the intersection of its minimal components. The particular membership problem which makes the Mayr-Meyer ideals’ complexity doubly exponential in the number of variables is here examined also for the radical and the intersection of the minimal components. It is proved that f...
متن کاملFUZZY IDEALS OF NEAR-RINGS WITH INTERVAL VALUED MEMBERSHIP FUNCTIONS
In this paper, for a complete lattice L, we introduce interval-valued L-fuzzy ideal (prime ideal) of a near-ring which is an extended notion of fuzzy ideal (prime ideal) of a near-ring. Some characterization and properties are discussed.
متن کامل